well-ordering theorem - Espagnol Anglais Dictionnaire